beginEnd is package{
  #prefix("procedure",1200);
  #prefix("return",1200);
  #pair("begin","end",2000);
  #begin ?B end ==> {B};
  #begin end ==> {};
  
  #procedure #(?Tmpl #@ ?body)# :: statement :- body::action;
  #begin ?B end :: action :- B;*action;
  #begin end :: action;
  
  
  #procedure #( #(?Tmpl)# begin ?body./#(return ?E)# end )#==> Tmpl is valof {body./#(valis E)#}; 
  #procedure #( #(?Tmpl)# begin ?body end)# ==> Tmpl do body ; 
}